89fa908851114defc092399c18e190d2bda8ccb9,src/com/itmill/toolkit/terminal/gwt/client/ui/richtextarea/IRichTextArea.java,IRichTextArea,setHeight,#String#,156

Before Change



            super.setHeight(h + "px");
            int editorHeight = h - formatter.getOffsetHeight();
            rta.setHeight(editorHeight + "px");
        } else {
            super.setHeight(height);
            rta.setHeight("");

After Change


            super.setHeight(height);
        }

        if (height == null || height.equals("")) {
            rta.setHeight("");
        } else {
            int editorHeight = getOffsetHeight() - getExtraVerticalPixels()
                    - formatter.getOffsetHeight();
            rta.setHeight(editorHeight + "px");
        }
    }